منابع مشابه
Programming with Explicit Security Policies
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. All three are problematic. There is no expressive, practical way to specify what systems must do and must not do. And if we had a specification, it would likely be infeasible to show that existing computing systems sat...
متن کاملExplicit Substitutions and Programming Languages
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get finer properties with respect to gradual implementations of substitutions as effectively done in runtimes of programming languages. But the theory of explicit substitutions has some defects such as non-confluence or the n...
متن کاملPropositional games with explicit strategies
This paper presents a game semantics for LP, Artemov’s Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us to take a term t and an LP formula A and form the new formula t :A. We define a game semantics for this logic that interprets terms as winning strategies on the formulas they label, so t :A may be read as “t is a winning s...
متن کاملTowards explicit strategies for modeling
We present an initial framework resulting from our ongoing research concerning modeling strategies. Our approach is rooted in a subjectivist, communication-based view on modeling. Under this approach, models are viewed as the result of modeling dialogues, which are a specialized sub-type of the diverse conversations that constitute a system development conversation at large. By focussing on the...
متن کاملthe effect of explicit instruction of metacognitive strategies on reading comprehension among iranian high school students
the present study seeks to determine the effect of explicit instruction of metacognitive strategies on iranian high school students’ reading comprehension ability. it also attempts to investigate the relationship between the learners reading comprehension and metacognitive strategies. furthermore, the study investigates whether iranian efl female high school students are high, medium, or low me...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Empirical Software Engineering
سال: 2020
ISSN: 1382-3256,1573-7616
DOI: 10.1007/s10664-020-09810-1